Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48

Source URL: web.eecs.umich.edu

• Computer network security
• Computing
• Firewall software
• Information and communications technology
• Computer security
• Data security
• Internet censorship in China
• Human rights in China
• Firewall
• Stateful firewall
• Internet censorship
• Router

Learning Outcomes for the Master of Science in Psychology National Qualification Framework for Iceland Master of Science in Psychology at Reykjavik University The Master of Science (MSc) in Psychology at Reykjavík Unive

Source URL: en.ru.is

• Behavioural sciences
• Applied psychology
• Behavior
• Psychology
• Education
• Industrial and organizational psychology
• Activity theory
• Subfields of psychology

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

Generalized Wiener Indices of Zigzagging Pentachains Ivan Gutman Faculty of Science University of Kragujevac P. O. Box 60, 34000 Kragujevac Serbia and Montenegro

Source URL: precision.moscito.org

• Graph theory
• Mathematics
• Discrete mathematics
• Cheminformatics
• Mathematical chemistry
• Wiener index
• Ear decomposition
• Graph
• Degree
• Graph operations
• Wiener connector
• Line graph

Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Measure theory
• operator
• Decomposition of spectrum

McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Web programming
• Web browsers
• Mozilla
• Cloud clients
• Portable software
• JavaScript
• Asm.js
• Firefox
• Microsoft Edge
• Google Chrome

Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Electronic engineering
• Logic gates
• Digital electronics
• Electrical engineering
• Electronics
• Electrical circuits
• Digital systems
• Clock signal
• C-element
• Asynchronous circuit
• Sequential logic
• Flip-flop

Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Source URL: www.prismmodelchecker.org

• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• PRISM model checker
• Reinforcement learning
• Probabilistic CTL
• Application software

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematical optimization
• Operations research
• Stochastic game
• Nash equilibrium
• Markov chain
• Determinacy
• Stochastic process
• Mathematics
• Analysis
• Multi-objective optimization